Computer optimization

Results: 3360



#Item
641Subroutines / Functional programming / Computer performance / Software optimization / Programming paradigms / Memoization / XSB / Continuation-passing style / Prolog / Software engineering / Computing / Computer programming

Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:21:42
642Convex optimization / Operations research / Linear programming / Mathematical optimization / Approximation algorithm / Computational complexity theory / Optimization problem / Duality / Algorithm / Theoretical computer science / Applied mathematics / Mathematics

CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 The Generalized Minimum Manhattan Network Problem (GMMN) – Scale-Diversity Aware Approximation and a Primal-Dual Algorithm Stefan Funke∗

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2014-06-21 05:15:26
643Complexity classes / Game artificial intelligence / Pathfinding / Motion planning / Multi-agent system / P / Algorithm / Combinatorial optimization / Theoretical computer science / Applied mathematics / Mathematics

Non-optimal Multi-Agent Pathfinding is Solved (SinceGabriele R¨oger and Malte Helmert University of Basel, Switzerland {gabriele.roeger,malte.helmert}@unibas.ch Abstract

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2013-01-07 17:29:29
644Applied mathematics / Genetic algorithms / Decision theory / Mathematical optimization / Multi-criteria decision analysis / Algorithm / Computer simulation / Chromosome / Queueing theory / Operations research / Science / Business

WSC' 03 Sample Paper

Add to Reading List

Source URL: www.mssanz.org.au

Language: English - Date: 2013-01-15 21:51:52
645Complexity classes / NP-complete problems / Mathematical optimization / NP-complete / Computational problems / P versus NP problem / NP / Decision problem / Clique problem / Theoretical computer science / Computational complexity theory / Applied mathematics

Book Reviews The Golden Ticket: P, NP, and the Search for the Impossible Lance Fortnow Princeton University Press, 2013, 192 pp ISBN1

Add to Reading List

Source URL: www.asiapacific-mathnews.com

Language: English - Date: 2014-02-27 03:55:07
646Computer programming / Primitive types / Programming language implementation / Pointer / Compiler optimization / Reference / Linked list / Data-flow analysis / C / Software engineering / Computing / Data types

Data Flow Analysis for Software Prefetching Linked Data Structures in Java Brendon Cahoon and Kathryn S. McKinley Department of Computer Science University of Massachusetts Amherst, MA 01002

Add to Reading List

Source URL: research.ac.upc.edu

Language: English - Date: 2002-03-20 08:48:07
647Mathematics / Algorithm / Mathematical logic / Theoretical computer science / Genetic algorithm / Job shop scheduling / Evolutionary computation / Science / Flexible manufacturing system / Operations research / Mathematical optimization / Applied mathematics

SM-77 Sujono and Lashkari SIMMOD05

Add to Reading List

Source URL: www.mssanz.org.au

Language: English - Date: 2013-01-15 21:50:35
648Heuristics / Theoretical computer science / Routing algorithms / Game artificial intelligence / Combinatorial optimization / Heuristic function / A* search algorithm / Admissible heuristic / IDA* / Search algorithms / Mathematics / Artificial intelligence

A Pattern Database Approach for Solving the TopSpin Puzzle Problem Pier Paolo Bortoluzzi University of Basel Examinar: Malte Helmert Supervisor: Martin Wehrle

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2013-01-07 17:29:29
649Mathematics / Constraint satisfaction / Local consistency / Constraint optimization / Mathematical optimization / Polynomial / Function / Boolean satisfiability problem / AC-3 algorithm / Constraint programming / Software engineering / Theoretical computer science

Super Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, and Toby Walsh? Cork Constraint Computation Centre University College Cork {e.hebrard, brahim, tw}@4c.ucc.ie

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:31
650Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Mathematical optimization / Boolean satisfiability problem / Mutation / Genetic programming / Solver / Theoretical computer science / Applied mathematics / Mathematics

Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2

Add to Reading List

Source URL: www.genetic-programming.org

Language: English - Date: 2014-07-05 17:14:07
UPDATE